Si \({{E}}={{F_1+F_2}}\) et \({{F_1\cap F_2}} = {{\{0_E\} }}\)
$$\iff F_1\text{ et } F_2 \text{ sont supplémentaires }$$
On écrit:
$$E={{F_1\oplus E_2}}$$
Somme direct
On dit que \(F_1\) et \(F_2\) sont en somme directe si $${{F_1\cap F_2}}={{\{0_E\} }}$$
